Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
241	Tool-support for the analysis of hybrid systems and models Andreas Bauer Markus Pister Michael Tautschnig Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:27 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
242	@ Computer Graphics, Volume 22, Number 4, August 1988 A Modeling System Based On Dynamic Constraints Rouen Barzel Add to Reading List Source URL: www.ronenbarzel.org Language: English - Date: 2006-10-19 16:54:58 Science Classical mechanics Kinematics Dynamical systems Mechanics Constraint algorithm Constraint logic programming Physics Mathematics Constraint programming
243	Developing a Formal Semantics for Babelsberg: A Step-by-Step Approach Tim Felgentreff, Todd Millstein, and Alan Borning VPRI Technical Report TR-2014-002a Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-03-04 14:17:47 Computing Mathematical optimization Logic programming Constraint logic programming Programming paradigms Constraint Prolog Constraint satisfaction Constraint optimization Constraint programming Software engineering Computer programming
244	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Constraint programming Satisfiability Modulo Theories Isabelle Proof assistant Automated reasoning E theorem prover Theoretical computer science Applied mathematics Mathematics
245	SOUTH AUSTRALIA AUTHORISED BETTING OPERATIONS ACT 2000 Advertising Codes of Practice (Inducements) Variation Notice 2009 NOTES ON CLAUSES Add to Reading List Source URL: www.iga.sa.gov.au Language: English - Date: 2013-07-22 23:51:44 Logic programming Constraint programming
246	Powerpoint presentation - Draft Code of Practice for Radiation Protection in Medicine Add to Reading List Source URL: www.arpansa.gov.au Language: English - Date: 2007-10-09 20:20:25 Chiropractic Health care provider Podiatry Constraint programming Logic programming Medicine Health Alternative medicine
247	Dependable self-hosting distributed systems using constraints Qin Yin∗, Justin Cappos†, Andrew Baumann∗, Timothy Roscoe∗ ∗ Systems † Department Group, Department of Computer Science, ETH Zurich Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Computer programming Operations research Programming paradigms Mathematical optimization Constraint logic programming Logic programming ECLiPSe Linear programming PlanetLab Constraint programming Software engineering Declarative programming
248	SOLVING THE SATISFIABILITY PROBLEM USING MESSAGE-PASSING TECHNIQUES S. J. Pumphrey, May[removed]Part III Physics Project Report) A Bayesian message-passing technique, the sum-product algorithm, is described and applied to Add to Reading List Source URL: www.inference.phy.cam.ac.uk Language: English - Date: 2001-06-07 06:04:05 Constraint programming Probability theory Boolean satisfiability problem Electronic design automation Logic in computer science Local search Bayesian inference Algorithm Conjunctive normal form Mathematics Theoretical computer science Applied mathematics
249	Marijn J.H. Heule December 21, 2014 Personal Information Name: Born: Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-12-21 16:31:34 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem Satisfiability Solver Theoretical computer science Mathematics Applied mathematics
250	EagleUP: Solving Random 3-SAT using SLS with Unit Propagation Oliver Gableske1 and Marijn Heule2 1 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-09-26 11:40:37 Logic programming Conjunctive normal form Local search Boolean satisfiability problem DPLL algorithm Theoretical computer science Constraint programming Declarative programming

UPDATE